home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group94b.txt / 000117_icon-group-sender _Mon Nov 21 01:19:30 1994.msg < prev    next >
Internet Message Format  |  1995-02-09  |  2KB
  1. Received: by cheltenham.cs.arizona.edu; Mon, 21 Nov 1994 05:45:11 MST
  2. To: icon-group@cs.arizona.edu
  3. Subject: Re: optional typing in Icon (longish)
  4. Message-Id: <785380770@mse>
  5. Date: Mon, 21 Nov 94 01:19:30 UTC
  6. From: whm@mse.com (William H. Mitchell)
  7. Errors-To: icon-group-errors@cs.arizona.edu
  8.  
  9. In the past I've done some sketching on the notion of optional types in
  10. Icon.  My own interest has been motivated not by performance, but rather by
  11. using Icon for programming in the large.  Having used C++ for a number of
  12. years I've come to appreciate the language's ability to stop a lot of
  13. stupid errors at compile time.  On the other hand, in the typical C++ program
  14. evolving intra-program interfaces usually cause a lot of suffering because
  15. of extensive recompilation being required for even the smallest change in
  16. common interfaces.
  17.  
  18. I'd like to have my cake and eat it too:  I'd like to be able to fully specify
  19. stable interfaces and have compliance checked at compile time and I'd also like
  20. to have unspecfied or partially specified interfaces for code under
  21. development.
  22.  
  23. A lot of issues come to mind immediately and I have to think that the idea of
  24. partial typing must have had some research exploration already.  Does anybody
  25. know of languages that directly support the concept?
  26.  
  27.      /------------------------------\         /----------------\
  28.     /      William H. Mitchell       \       / 7120 E. Kiva Way \
  29.    /  Mitchell Software Engineering   \o----/ Tucson, AZ, 85715  \
  30.    \ Consulting/Development/Training  /     \    602-577-6431    /
  31.     \   OO Methods/C++/Icon/UNIX     /       \    whm@mse.com   /
  32.      \------------------------------/         \----------------/
  33.